SIR 21
id_total, 0.296923969
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.003069568
id_inclusion_check_mod_p, 0.002474475
id_groebner_time, 0.011243637
id_beautifulization, 0.194230856
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 55.0
